intermediate checkin: use rule_in_location in continuations
introduce new locations for rule bodies
introduce locations