small fix: widen should join with previous history
Merge branch 'master' of https://github.com/ganzm/ProgramAnalysisHS2013
print op when merging (for debugging)