added direct access to constraints recorded for a propagator
AC3 seems to be ok