Finally found the twelf bug I think that was causing Anders's coverage problem. Turns out we weren't actually carrying out inverse substitutions on substitutions inside LVars during inversion and pruning.