Produces RE-ready versions of featurally defined constraints