fixing bug in using incremental SAT in AB_mass