Verification results are shown using OntoUML verifications framework classes, but those are not being loaded by BaselineOfBPMN.
We either need to load the OntoUML (including UML class editor) in BPMN's baseline (quick fix that would load lots of unneccessary code), or make it possible to load only the common GUI part from here (would require changes in the OntoUML verifications repo).
It might make sense to be able to load only common parts of the OntoUML verifications framework without any specifics for OntoUML.