ArgParser::argCheckLinearization()
{
    o.check_linearization = true;
    o.require_outfile = false;
}
ArgParser::argCheckLinearization()
{
    o.check_linearization = true;
    o.require_outfile = false;
}