anchor.diff:    
     visitPostfixExpression(PostfixExpression node){
       //print("POSTFIX: ${node.operand} ${node.operator}");
  +    super.visitPostfixExpression(node);
     }
     
     // op v
     visitPrefixExpression(PrefixExpression node){
  +    super.visitPrefixExpression(node);
  +    
       // If increment operator (-- or ++)
       if (_isIncrementOperator(node.operator.toString())) {
         String operator = node.operator.toString();
  
positive.code:       });
        
      } else if (node.operator.toString() == '!'){
        types.put(node, new NominalType(elementAnalysis.resolveClassElement(new Name("bool"), constraintAnalysis.dartCore, source))); 
      }
      //print("Prefix:  ${node.operator} ${node.operand}");
    }
  
negative.code:     // [exp2] \union [exp3] \subseteq [exp1 ? exp2 : exp3]
      _subsetConstraint(new ExpressionTypeIdentifier(node.thenExpression), nodeIdent);
      _subsetConstraint(new ExpressionTypeIdentifier(node.elseExpression), nodeIdent);
      //super.visitInterpolationExpression(node)
      //super.visitNamedExpression();
    }
  