Add apply-reduction-relation*/random