Generalized Support and Formal Development of Constraint Propagators | Read Paper on Bytez