bug fix to isLive() in the dataflow framework to handle global variables
added bugfix for CombinedLabeledAggregate::getElements()
bugfix to handle SgTypedef by stx_analysis
currently we are down to 119 test cases that are failing
1. added assertion to ChainComposer::Expr2MemLoc to check dynamic
casting of ExprObj
2. removed type from AliasedObj
bug fix by preventing abstract_object_map from dereferencing Pointer
objects.
removed tab spaces from dead_path_elim_analysis, live_dead_analysis
composing analysis chain similar from the paper
adding compositional analysis into projects/ssaAnalysis
changes to VariableStateTransfer.h to support pointers
partial working with support for dereferencing