fixes to klee including putting in the topk estimate
implemented round4 for er tputH