bynk.refine.literal_violates
InRange
