Added Ltl checking view and pattern manager view