remove compile_option for 'decompose' (boundary will now be optional, and adjacencies can be manually overridden); add new 'parse_locative_phrases' and 'resolve_overlapping_regions' options
move STAY_THERE formula creation to LTLMacros