Option to enable Why3 debug flags

Is there any official way to provide warning / debug flags to why3? If the various why3 commands could accept debug, warn and warn-off flags that would be optimal.