Function is_randomness_modulo 

fn is_randomness_modulo(lhs: &Expr<'_>, rhs: &Expr<'_>) -> bool