Small gamma case fix

Now a gamma formula is removed and re-added to a branch
even when its gamma depth is not reached so that different
permutations of gamma rule application are presented to
unification for closure.

We now reliably prove  (Trn, Smy, Ser) |- (Ref).