Removed redundant information in provenance sequents after renaming occurs. Related to #63.
Redundant skolem trees are also pruned out from being printed.
Fixes #63.