Method: caseADurationStm(ADurationStm, FreeVarInfo)

ERROR: Error while reading the sourcefile!