Bugfix in the assumption-needed analyzer
Removed dependency on tr1/functional_hash.h
Merge branch 'master' of github.com:LTLMoP/slugs