now start to handle small set (nrules < 16)