reformatted the code
fixed workflow and added launch configuration to start workflow with test model
enabled Antlr backtracking and removed the NamesAreUniqueValidator