Function verify_rules_for_term 

pub fn verify_rules_for_term(
    termenv: &TermEnv,
    typeenv: &TypeEnv,
    typesols: &HashMap<RuleId, RuleSemantics>,
    types: TermSignature,
    concrete: &Option<ConcreteTest>,
    config: &Config,
) -> VerificationResult