Added domain values to the `def.resolved` call.