Changed formula list loading and added LtlCheckingCommand execution