debug defaults to false for rule %.t, benchmark set debug to true explicitly
set debug to true for rule inf