nitc :: ToolContext :: opt_poset=
# --poset var opt_poset = new OptionBool("Complete metrics on posets", "--poset")