[
Why3
.
Whyconf
.
Sprover
.t]
Widget
.selector