Now recursively does causality on subsystems.