Function ensure_extensional_generated_rule_support 

fn ensure_extensional_generated_rule_support(
    program: &Program,
    rule: &Rule,
) -> Result<()>