bugfix: crash in symexec

it was crashing when it was trying to remove a variable from a formula
with no occurence