fixing assumption generation