added `print-if` and `print-cond`