Validate constraints: Spread, Among, SplitAmong, MaxOnline, SReC