Initialize the propagated constraints with q init

For the parametrizable constraints, we should initialize them before using
the solver to check if the initial configuration satisfies all the
propagated constraints.