let
wp_preconditions =
Emitter
.create
"WP Call Preconditions"
~correctness:[] ~tuning:[]