comefrom: <awangdev>The Maze_1.java
code: private boolean verify(int[] pos, int[] dest) {
  
          return pos[0] == dest[0] && pos[1] == dest[1];
      }
masked: private boolean var_0 ( int [ ] var_1 , int [ ] var_2 ) {
    return var_1 [ 0 ] == var_2 [ 0 ] && var_1 [ 1 ] == var_2 [ 1 ] ;
  }
  