(1.) perspective MbtArranger created. (2.) Abc.arr fixed: new LTL  section formula [ as of corporate 8cb0c9d93b5c32706f0105376772c168f2adc20a ]