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

ERROR: Error while reading the sourcefile!