Changes in PseudoCode and Meshing

- Inserts a fake unconditional jump at the true basic block of a
original conditional jump to be used during unconditional meshing
- Changes the way constants for conditional jumps are selected