Refactored, made changes to run smoother, some LTLMoP stuff