check correctness of on the fly call graph and pag construction for entries