Uses of Interface
fmrisc.ProofNavigator.Commands.ProofCommand