remove unused file
remove (failing) assertion: code seems to be rebust enough