added requires constraints for satis generation