WyIL: simplifying precondition genertion for VcGenrator.