correct unit elimination rule

The unit elimination rule had a spurious additional bound variable that has been removed.