Fixed classify_variables bug when some vars were falsely classified as bound.