Completed the remaining cases and tests of SideEffectAnalyzer