Method: OpPostConditionContext(AExplicitFunctionDefinition, ACallStm, SOperationDefinitionBase, IPogAssistantFactory, IPOContextStack)

ERROR: Error while reading the sourcefile!