The effect of EHOP on the writing of Program Analyzers