Added LTL maze