Return -1 if error; 1 if v op w; 0 if not (v op w). */
source not stored for this graph (policy: none)
no test coverage detected