import logging
import constants as cons
from main_tc import MainTc
from custom_logger import CustomLogger
from verification import Verification
from annihilator import Annihilator
from precondition import Precondition
from tc_1 import TC1
from tc_2 import TC2
from tc_3 import TC3
from tc_4 import TC4
from tc_5 import TC5
from tc_6 import TC6
from tc_7 import TC7
from tc_8 import TC8
from tc_9 import TC9
from tc_10 import TC10
