Function check 

pub fn check(
    terms: &[(TermId, RuleSet)],
    termenv: &TermEnv,
) -> Result<(), Vec<Error>>

Check for recursive terms.