Fix type-stability issue in example life_rule.