anchor.diff:      // [exp2] \union [exp3] \subseteq [exp1 ? exp2 : exp3]
       _subsetConstraint(new ExpressionTypeIdentifier(node.thenExpression), nodeIdent);
       _subsetConstraint(new ExpressionTypeIdentifier(node.elseExpression), nodeIdent);
  -    //super.visitParenthesizedExpression(node)
       //super.visitInterpolationExpression(node)
       //super.visitNamedExpression();
     }
  
positive.code:   
    visitPostfixExpression(PostfixExpression node){
      //print("POSTFIX: ${node.operand} ${node.operator}");
    }
    
    // op v
    visitPrefixExpression(PrefixExpression node){
      // If increment operator (-- or ++)
      if (_isIncrementOperator(node.operator.toString())) {
        String operator = node.operator.toString();
  
negative.code:       });
        
      } else if (node.operator.toString() == '!'){
        //If the is a negate it is the same as writing (e ? false : true), the result will always be a bool.
        types.put(node, new NominalType(elementAnalysis.resolveClassElement(new Name("bool"), constraintAnalysis.dartCore, source))); 
      } else { 
        //In all other cases the prefix should just be a method call.
        
      }
      //print("Prefix:  ${node.operator} ${node.operand}");
    }
  