tarval_not() han now handle tarval_b_true and tarval_b_false