Predicate classify

Holds if f is classified as belonging to category.

There are currently four categories:

• "generated": f contains generated or minified code;
• "test": f contains test code;
• "externs": f contains externs declarations;
• "library": f contains library code;
• "template": f contains template code.