updated SpecificationCompilerSteps to reflect the changes in FlattenSyntax

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/SpecificationCompilerSteps.java