Specifications with < or > symbols

Issue: Is there a way to set bounds on result values and trigger a violation when a result falls outside of these bounds? For example, set result values to be < 1500, and trigger a violation if the result is 1600.

Solution: This is handled automatically in LW >= 6.10.