Method: caseANat1IsExpIR(ANat1IsExpIR)

ERROR: Error while reading the sourcefile!