Add support of terminator and successors for basic blocks generated by if statements