Remove unnecessary tests in ast2firm: An if-statement always has a true_statement.