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