adding assumption/reduction variables to constraint list?