reify OrderedVariableList [x,y]