All methods allow you to define a precondition that must be met before you execute a method.

You can check this precondition with the auto-created PreconditionQuery operator, which is your method name with an appended question mark:

self.SomeMethod?