an unpleasant hack that simplifies the strategy by constraining the initial region in the LTL spec based on current pose