code: protected void collectOpCtxt(AExplicitOperationDefinition node,
  			IPOContextStack question, Boolean precond) throws AnalysisException
  	{
  		question.push(new POOperationDefinitionContext(node, precond, node.getState()));
  	}
docs: Operation processing is identical in extension except for context generation. So, a quick trick here.
  
  @param node
  @param question
  @param precond
  @throws AnalysisException