Proved Var (Short x) case with extra side condition on local lets