Delete unitClause.py