Introduce > < <= >= assertions