debugging rule machine