Fixed LTL checks in shared mutable model

Some limitations in LTL testing discussed in header.