Added check for special case of and node which takes precedence over or node
Changing shortcircuit map to Map. Allows me to store the short circuit expression which can be reused.
Removed errors caused by changing set to map
Created a set to separate map from ifStmt to Expr . Set only contains if statements that need to be removed.
Bug Fix  : Earlier there was a check for a NotExpr in getShortcircuitAnd. Replaced that with a check for the VarName. This is because tamer converts all all operators to function calls.
Added a check in getShortCircuitOr. If the lhsExpr is a shortcircuit And then the check for the Not Expression is not done. The not expression check is done since tamer adds a NotExpression if there is not one and removes it if there is while simplifying short circuit or.