testgen: replaced free variables in the final pgm with simplest possible syntactic constructs (in a cheating way)
testgen: renamed a class
testgen: implemented checker plugin for checking syntactic constructs tagged with attribute left are indeed left-assoc