** Return true iff value at stack index 'a' is less than the value at ** index 'b' (according to the order of the sort). */
source not stored for this graph (policy: none)
no test coverage detected