sewing compilation for if-then-else