"static final" does not do anything
"static final" does not do anything

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