Function residual 

pub fn residual<I>(
    root: &ExpressionType<I>,
    relation: Option<&SpatialSupport<I>>,
) -> Result<(), TypeViolation<I>>
where
    I: Clone + Eq,

Check one residual root against its Relation scope.