Make ngraphOf nest the statement taken in an IfStmt in one node at top-level