if(node.getPreexpression() != null && !_visitedNodes.contains(node.getPreexpression())) node.getPreexpression().apply(this, question);
if(node.getPreexpression() != null && !_visitedNodes.contains(node.getPreexpression())) node.getPreexpression().apply(this);
if(node.getPreexpression() != null && !_visitedNodes.contains(node.getPreexpression())) node.getPreexpression().apply(this);
if(node.getPreexpression() != null && !_visitedNodes.contains(node.getPreexpression())) mergeReturns(retVal,node.getPreexpression().apply(this));
if(node.getPreexpression() != null && !_visitedNodes.contains(node.getPreexpression())) mergeReturns(retVal,node.getPreexpression().apply(this, question));
|| node.getPreexpression() == null || node.getPreexpression().apply(VdmRuntime.getExpressionEvaluator(), ctxt).boolValue(ctxt)) && node.getPostexpression().apply(VdmRuntime.getExpressionEvaluator(), ctxt).boolValue(ctxt);