pretty_print support phinode using ||

使用||表示phinode,表明其值可能来自多条路径,具体是哪条则不可知晓.
将unary改为Δ,表明"自身"的含义,可读性更好.可以组合复杂的运算表达式.

Signed-off-by: xiehuc <xiehuc@gmail.com>