Multiplication and Division in Range Based Constraint Manager Multiplication and Division in Range Based Constraint Manager Back Reference Range based Constraint for Multiplication and Division