Corrected DMI Available state
Reviewed positions of states in state machines
Corrected tests (deadlines of expectations) after changes on DMI
Corrected DMI available state for inputs