@Override
protected void initOptions() {
super.initOptions();
options.addOption(
null,
lowerPrefixOption,
true,
"Prefix for lower reachability traces (default: name of the 'links' trace)");
options.addOption(
null,
upperPrefixOption,
true,
"Prefix for upper reachability traces (default: prefix+'_upper')");
}
