Code update to include an approximation of the Lazy SM in order to investigate its potential drawbacks (refer to code comments)