support cond expression
add proc_greater
add more cond expression
fixed cond else part
remove debug code
add some debugging code
add new cond pattern