Only set definitions has reused if in some rule no linear facts fail.