Turn select C, (X + Y), (X - Y) --> (X + (select C, Y, (-Y))). This is even legal for FP.
source not stored for this graph (policy: none)
no test coverage detected