Delete __init__.py.dafny