Leverage new analysis that infers seals for flat_map rules.