Check and constrain a variable not under a minimal value.

This statement returns no value, it directly updates the given variable.