/sci-mathematics/frama-c-constant-folding/