Method: getProofObligations(SClassDefinition, POContextStack)

ERROR: Error while reading the sourcefile!