Delete nonUnitClause.py