In this talk we will introduce a syntax directed deterministic inference procedure to check causalities of channels in dynamically merged and interfered multiparty sessions, ensuring that the entire protocol, starting from the high-level processes which consist of multiple sessions, does not get stuck at intermediate sessions (progress).