public MapApplyObligation(PStateDesignator root, PExp arg,
IPOContextStack ctxt, IPogAssistantFactory af)
throws AnalysisException
{
super(root, POType.MAP_APPLY, ctxt, root.getLocation(), af);
AMapDomainUnaryExp dom_exp = new AMapDomainUnaryExp();
dom_exp.setExp(root.clone().apply(new StateDesignatorToExpVisitor()));
dom_exp.setType(new AUnknownType());
AInSetBinaryExp inSetExp = AstExpressionFactory.newAInSetBinaryExp(arg.clone(), dom_exp);
stitch = inSetExp;
valuetree.setPredicate(ctxt.getPredWithContext(inSetExp));
}
}