Added LTL pattern manager view (just layout)