Defines a Screamer variable, in the list of values Without constraints, an-member-of enumerates all the values of the list. Inputs : list : list of possible values Output: a value of the list. The value depends on the backtracking caused by the constraints