anchor.diff:  }
   
   
  -bool isIfThenElseIntRes(x) {
  +int isIfThenElseIntRes(x) {
     return x is int ?  1 : 0;
   }
   
  
positive.code: }
  
  
  bool isNotStringRes(x) {
    if (x is! String) {
      return 1;
    } else {
  
negative.code: bool isInt(x) => x is int;
  
  
  int isIntRes(x) {
    if (x is int) {
      return 1;
    } else {
  