1) Делать предварительное и безусловное прочтение верхних данных можно при условии, что они не являются волотильными
2) В FMP так и сделано
3) Некоторые конструкции в строке MP (в FMP нет таковых) являются волотильными. Это функциональный вызов, чтение элементов массивов или матриц.
4) Определить такие синтаксические конструкции можно только парсингом.
5) Делать сначала один парсинг для определения нужных переменных, а потом для вычисления - себе дороже. Тем более, что порядок чтения переменных в конечном счете определяет пользователь, а не берется с потолка.