fixing bug in how AGREE handles assumptions