Function are_joinable 

pub fn are_joinable(
    expr1: &TLExpr,
    expr2: &TLExpr,
    system: &RewriteSystem,
) -> bool

Check if two expressions can be joined under a rewrite system.

Convenience function that creates a checker and tests joinability.