TMP: some simplification of forward jumps