Make if predicate passthrough destructively rewrite

[Alex-Fischman]

Also deletes the theta passthrough comment because Oliver implemented it on his branch.