Avoid tooltip NPE for incomplete proof nodes #3037

Steps to reproduce issue: try to instante a rule manually (e.g. cut). Observe that a NPE is thrown.

Caused by: #3012