scop.c: update_domain: use function intead of relation