Debugging LNF