Rule02 first tests
Rule02 with backtrack