Implementation of the paper "A Co-iterative Characterization of Synchronous Stream Functions" by Caspi and Pouzet