FlowSpec8 open issues
Jasmin4 open issues
Spoofax73 open issues
StrategoXT270 open issues