Bugfix for safety mode of abductive prover.