Bug Fix : While replacing a use by it's definition, the children were recursively checked. This caused a problem since the children would later be visited too. Hence a break was added after the first hit.
Added support for the logical and operator. Also modified code for the short circuit or . Tamer adds a not expression and removes it if there is not during short circuit simplification. Had to deal with that
Added a set which keeps track of the if statements to remove.
Modified to remove if Statements thats are dead code as a result of short circuit simplification
Modifying code to handle multiple shortcircuit operations.
Added a new class VarAndColorContainer which holds a variablename and its equivalent color.
VarAndColorContainer class tested to ensure equals and hashcode are overriden properly.
Committing before  working on hashmap.
new method to get nodes with a common if Node added.
Modified getIfNode to fix bug.
1. Modified path in TamerPlusMain.java for a different machine.
2. Added code in the temporaryvariableremoval to mark statements.
3. Added check for short circuit if nodes in the TIRToMcSAF
Modified the getDefinitionNode method to make it easier to handle multiple short circuit operations.
Added a new method which checks if a node has a true, false or and function call.
Added a new method to check if a node is a has a function call to false.
Added a new method to check whether a node contains a call to true.
Added  new method which returns the short circuit or expression
Added a new method to deal with or statements.
modified code.
Added a method which generates a map from a if statement to the node
Added a method to check if a ifStmt is the parent of the given node.