semiabelian varieties defined over finite fields, we prove a quantifier elimination and stability
result for finitely generated modules over certain finite simple extensions of the integers
given together with predicates for cycles of the distinguished generator of the ring.