public If (Expression bool_expr, Statement true_statement, Location l) : this (bool_expr, true_statement, null, l) { }