InvarGenT Manual - Solver Parameters. Bug fix: do not annotate `assert false` branch. Numerical abduction spurious translations for inequalities fix.