Check if OP1 and OP2 can be "combined" with operation OP, the combined type is stored in DEST if non-null (except for pointer plus/minus) . */
source not stored for this graph (policy: none)
no test coverage detected