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