Create finite_domain_process.ecl