Renamed BlockExitInfo to FinalStmt and all its constructors to match usage