find/replace E with Term, forgot to do substitution of parameter when porting to SDF3
find/replace E with Term, forgot to do substitution of parameter when porting to SDF3

metaborg/java-front,metaborg/java-front