Added option to disable if-converter
Fixed generated predicate spilling code