+Main procedure of RIPPERk