code: def initialize(self, givengraph, sfa=False):
          
          sm_vector, smi_vector, em_vector = self._init_using_k_equivalence(
              givengraph, sfa)
          return sm_vector, smi_vector, em_vector
docs: Args:
              givengraph (DFA): The DFA states
              sfa (bool): A boolean for chosing SFA
          Return:
              list, list, list: sm_vector, smi_vector, em_vector initialization vectors