adding type definition fo nts_basic block and nts_automaton cfg in nts_functor interface