Fix to JOIN inference
Infer monotonicity of symmetric functions