This is the predicate function used to check to see if the "Test" portion of the program is miscompiled by the code generator under test. If so, return true. In any case, both module arguments are deleted.
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected