change pr/add to deal with emtpy sequences and single IStatements properly