Yes, that would be negative for performance. But I guess that is actually the same for all kinds of subdomains? For example f*dx(1)+g*dx(2) would cause evaluation of both f and g for both domains 1 and 2, because there is no propagation of dependencies through UFC. I would settle for a hack making this case work correctly (a warning would be fine), and the performance issue should be addressed in the future through some design involving UFC.
Yes, that would be negative for performance. But I guess that is actually the same for all kinds of subdomains? For example f*dx(1)+g*dx(2) would cause evaluation of both f and g for both domains 1 and 2, because there is no propagation of dependencies through UFC. I would settle for a hack making this case work correctly (a warning would be fine), and the performance issue should be addressed in the future through some design involving UFC.