cleanup, remove default method.
cleanup, remove default method.

All subclasses already contain better code
that actually causes the documented exception.

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