Fixed bug with multiple sequent ifs