boolean member hasReturnStmt added to check if the function already contains a return statement in which case an explicit statement is not generated.
Commit before creating new branch.
Merge branch 'develop' of https://github.com/Sable/mclab into develop

Conflicts:
	languages/Natlab/src/natlab/backends/vrirGen/Main.java
Merge branch 'develop' of https://github.com/Sable/mclab into develop
Mix10 bug fixes, updated Main file
Merge branch 'develop' of https://github.com/Sable/mclab into develop
Merge branch 'develop' of https://github.com/Sable/mclab into develop
unncessary print statement removed.
main file changed to test against different benchmarks.
Changed file path for running tamer+ code.
Added new method in reaching definitions for returning the in set of a node.
Replaced the out set for inset for while generating the reaching definition for each statement.
Method signature for findNodeWithColorInMap changed. The method returns a set of definition nodes instead of a single node.
method signature for getDefinitionNode changed. The method now returns a set of TIRNode instead of a single node.
Method getDefinitionForVariableAtNode modified to handle multiple definitions instead of one. Method signature also changed to return a set of nodes.
TamerPlusMain modified to show results for the fft benchmark instead of mbrt.
 replaceUsedTempVarByDefinition method modified to check if the number of elements in the definition set is one. if it is one than the previous steps are executed. Else the method returns without doing anything. This will be later modified.
Return types changed from Set to Vector.
New method added. isShortCircuit checks whether a shortcircuit operation is required given a vector of definitions.
Added a new method isShortCircuit to check whether a given set of expressions are shortcircuit.