test backtrack level when checking nogoods