check analysis dependencies
made hashconsing optional