Small spelling mistake
Added prefix "$g_" to (non-existential) automata variables