Adding get-subst-prefix and ways to access sampleable constraints