More precise tests on rules generation