fixed issue with AddInjections not changing the productions properly; fi...

...xed SpecificationCompilerSteps to use AddInjections