Kripke Structure implementation is done.