Function spec_chained_le 

pub fn spec_chained_le<T>(_left: SpecChain, _right: T) -> SpecChain
where
    T: Chainable,