@Override
public CmlProofObligationList caseAMapSeqStateDesignator(
AMapSeqStateDesignator node, IPOContextStack question) throws AnalysisException {
CmlProofObligationList list = new CmlProofObligationList();
if (node.getSeqType() != null) {
list.add(new SeqApplyObligation(node.getMapseq(), node.getExp(), question, assistantFactory));
}
// Maps are OK, as you can create new map domain entries
return list;
}
