Method: getProofObligations(PDefinition, POContextStack)

ERROR: Error while reading the sourcefile!