inline void SemVal::patchFalse(PatchDest dest)
{
    patch(d_patchFalse, dest);
}
