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.