Added more helper functions to BlameAnalysis.
Merge branch 'master' of https://github.com/corvette-berkeley/shadow-execution

Conflicts:
	BlameAnalysis/forward/BlameAnalysis.cpp
Merge branch 'master' of https://github.com/corvette-berkeley/shadow-execution
First attempt to implement blame analysis forward.