An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming