returns positive value if x is greater than y */ since we use only "greater_ev(x,y) > 0" and "greater_ev(x,y) <= 0" compares, */ it is unimportant to distinguish "x<y" and "x==y" cases */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected