get rid of the Kripke parser

once #4 (closed) is done, we can teach the HOA parser how to fill such a structure