additional enumerator and generator of basic morphisms + test