The Wp API is dynamically registered:
The WP plugin is dedicated to compute Weakest-Preconditions using different memory models.
It is experimental and still under development.