Function trace 

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

Type a boundary trace.