rhs

val rhs: SelectionConstraint