Study of modern compile-time optimizations for UPPAAL