Use jump_target to simplify the implementation of if_statement_to_firm().