inline void SemVal::patchTrue(PatchDest dest)
{
    patch(d_patchTrue, dest);
}
