Java backend: added some documentation for visitor classes
testgen: refactored a util class to be non-static
testgen: started working on a structure checker for ruling out undesired programs during generation process