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