Passed

LLVM.Analysis/ScalarEvolution.nw-sub-is-not-nw-add.ll (from LLVM)

Took 50 ms.