Proof certificate can contains variables instead of concrete values

[shaolintl]

Leaving out information from the certificate by replacing concrete data with variables.
This works on some holes but fails if we try to replace the whole proof tree with a variable. Try to understand what is the reason for the failure.