Started implementation of SideEffectAnalyzer