remove unused methods in ast.cpp
remove unused methods in ast.cpp

seahorn/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,seahorn/z3,mschlaipfer/z3,kyledewey/z3,mschlaipfer/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,mschlaipfer/z3,mschlaipfer/z3,seahorn/z3,kyledewey/z3,mschlaipfer/z3,seahorn/z3,mschlaipfer/z3