Overhaul if_statement_to_firm(). Now it is a tad shorter/simpler and more friendly...