Simple model checker