Don't enqueue variables that have been eliminated/decomposed
Fixing bug in var-elim order_heap update and summing activities of replaced vars