[ADD] Constraint for result values out of range