Analysers and Code Fix

I am missing tests for the code fix, and tests for cases where the analyzer should not produce a diagnostic, like when the finalizer is not empty. Can add those, @israelaece?