def METHOD_NAME(self, op, circuit_type, constant, keyrot, ps_type, params_dir, num_constraints, segment_size, proof_path = None):
    args = [os.getenv("ZENDOOMC", os.path.join(self.srcdir, "zendoo/mcTest"))]
    args += [op, "-c", str(circuit_type), "-p", str(ps_type), "-s", str(segment_size), "-n", str(num_constraints)]
    if constant is not None and constant != False:
        args.append("-k")
        if constant == True:
            args.append("CONSTANT_PLACEHOLDER")
        else:
            args.append(str(constant))
    if keyrot == True:
        args.append("-r")
    args.append("--")   # Any parameter after the double dash is ignored by getopt, allowing to pass
                        # also negative values.
    args.append(str(params_dir))
    if proof_path is not None:
        args.append(str(proof_path))
    return args