If the updated literal is elimed/decomposed/etc, don't merge&enqueue

The updated literal could be elimed, so enqueuing is very dangerous
Oops, off-by-one error. Var that's the same number is outside of limits