Title: Normalizacja F-programów