Where does this constraint generation happen now?