Analysers and Code Fix

I wrote the MaintainFinalizerWhenUsed test.