removed register implementation from the code, as IntRegister isn't
very efficient
current test version of generic algorithm instantiation
added generic version of Daciuk's algorithm. 
Operates on int transitions.