presburger.v: automata construction for atomic formula