update example in SLUGS to LTL CNF translation