added processing on free(); TODO: 1. leakProb at free(); 2. process cond(e0 == e1)