Sindbad~EG File Manager

MEXPORT_PROVER int periodic_in(term t, term x, term *period);
MEXPORT_PROVER int period_aux(term t, term x, term period,term *ans, term *next);