Useful advice to debug CLIPS