first pass removing some variables
pass 5 after removing unncessary vars from theoryvars - good improvement