Function check_positivity 

pub fn check_positivity(
    inductive: &str,
    constructor: &str,
    ty: &Term,
) -> KernelResult<()>

Check strict positivity of an inductive type in a constructor type.

This is the main entry point for positivity checking.