@Override public void caseAFuncInstatiationExp(AFuncInstatiationExp node) throws AnalysisException { if(!(node.parent() instanceof AApplyExp && ((AApplyExp) node.parent()).getRoot() == node)) { info.addUnsupportedNode(node, "Function must be applied at the time of instantiation"); } super.caseAFuncInstatiationExp(node); }