file: change key for domain to Lval.CilLval
TODO check why 30-ptr-of-ptr.c fails now