Adding ModelChecker plugin functionality