Revised (low-level) copy API, added state and transition predicates/filtering mechanism, added tests for DFAs class