Added ability to add boxed variables w/wo assumptions