pub fn expression_eq(lhs: &Expression, rhs: &Expression) -> bool