Commented a rule which breaks certain definitions. Seems to stem from a Stratego bug.
Commented a rule which breaks certain definitions. Seems to stem from a Stratego bug.

metaborg/dynsem,metaborg/dynsem