Decompiler add parentheses where necessary
Fix impossible jump pruning and add test