nitc :: ToolContext :: _opt_refinement
# --genericity var opt_refinement = new OptionBool("Compute metrics about refinement usage", "--refinement")