A simple model checker for kripke structures