Use debugging rules from nbl-library.