Anton Kovsharov

Each MVarId is now printed at least twice - once in `goalsBefore` and once in `goalsAfter` (sometimes unnecessary even more from parent nodes when it already handled in the subtree...

 For example for cases the syntax to the cases tactic is everything with all insides, but we split by `\n` and therefore we display...