Determinisation OK
Debug determinisation + test