EXAMPLE: Switch to canonical LTL syntax, both in comments and code