fix handling of side effects in abstract (fixes QArithSternBrocot)

The right fix should probably be to remove the build_constant_by_tactic
function and only use the build_by_tactic one