Use lower-case propositions throughout
Apply 'next' operator to requirements in conditionals
Remove 'next' from liveness sentences, fix small bug with initializing robot to 'false'
Make LTL post-processing case-insensitive