W-method implementation. W-method equivalence-test implementation.
Generates test suites from transition-cover and characterization sets.