+Hide Lemma argument

+Allow remove unified frame argument with mixed 'empty' and 'lemma' roles
+Fin statement calculation correct - do not count unified frames revoke by superlexicograf