support unconditional jump in AST of UPC
removed redundant code
implemented p--c-- (untested)