[mcs] Flow analysis of moved arguments. Fixes #20983