make UniqueNameComputer accept a list of variable names too
refactoring and started to implement big idles with loop
refactoring AstUtil
implemented idle loop body
(tests) added test for big idle
updated method and javadoc in CxGenerator
(tests) updated idle test
worked on methods in AstUtil
do not use CxUtil.isGlobal in IrBuilder so we can create synthetic state
variables without having to add them to the Cx entity
idle scheduler now maps the Cx synthetic variable to an IR var