Add JOIN,RAND monotonicity rules