No POD found for compound-unification-in-not.hrx. Time to read the source?