Return const reference to literal instead of copy
Use the static builder function for static eliminator
Go up decision level when cannot integrate conflict
Remove isSatisfied code
Merge branch 'master' into static-in-var-elimination
Enable static eliminator in var elimination
Merge branch 'static-in-var-elimination'