Change FnOperand::Move -> Dynamic#927

Nadrieril merged 1 commit intoAeneasVerif:mainAeneasVerif/charon:mainfrom

soteria-tools:fn-operandsoteria-tools/charon:fn-operandCopy head branch name to clipboard