added func tests
changed the spec: full_arbiter -- no need for assumptions and no need for g_i=0 at zero moment
(in case of mealy machines this reduces model size to 3, moore is still realizable in 4)
minor
forgotten file