Test with Mul's instance instead of expr