Lazy Initialisation for Mutability Detector

A new pull request for Lazy Initialisation detection for Mutability Detector.