public static AST GetWith(int depth) throws ParseAlgorithmException {
  return InnerGetWith(depth,null);
}

public static AST GetWith ( int depth ) throws ParseAlgorithmException { return InnerGetWith ( depth , null ) ; }
for constructing the tla + to pluscal mapping , the original getwith procedure was given a second argument and was renamed innergetwidth . see the comments for that method
