cleaning verification strategies

Author: enadeau

tilescopethree/strategies/verification_strategies/012_depth_4_database.txt

@@ -1,7 +1,4 @@
 from .database_verification import database_verified
 from .globally_verified import elementary_verified, globally_verified
-from .miner_verification import miner_verified
-from .subclass_verified import subclass_verified
 from .subset_verified import one_by_one_verified, subset_verified
 from .verify_atoms import verify_atoms
-from .verify_short_obs import verify_short_obstructions