Add prime, all defs and all uses coverage