half of wet verification

+globalStates, globalTransitions, clean all calls
-no variables, no conditions, not all transitions (only one for every
two global states)