A basic LTL Model Checker