This plugin requires JOpera 2.5.2 and demonstrates how to use the verifier extension point that helps to contribute extra design-time verification functionality.