Test analyzers/analyses directly #4
Description
Currently, the core module is tested via its behavior in the reference implementation. Instead, the analyzer and analyses should be unit tested directly, and the reference implementation should be more lightly tested.