Create finite_set_process.ecl