Rename field to avoid hiding (error-prone will reject this in the future)
Rename field to avoid hiding (error-prone will reject this in the future)

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt