It seems like there's an issue with the debug flag handling, I can't turn on the debug flag `coma_no_trivial` which comes from the coma plugin (distributed with why3 on branch `mome`). I suspect that the parsing is done before loading the configs?