stop processing if we substitute a unary op with a lead. closes #20
Passed
Houtan Bastani
created pipeline for commit 68850536
, finished
For master
1 minute 28 seconds, queued for 5 seconds