Method: IotaStrategy(TransAssistantIR, SExpIR, String, String, ILanguageIterator, ITempVarGen, IterationVarPrefixes, CounterData)

ERROR: Error while reading the sourcefile!