What we lack to do automatic programming?
We already have the formalization of norms


I don't think we do. Norms are written in natural languages (e.g. English). And truly understanding text written in a natural language (even a subset of it, such as the one used to write norms) is still not something that can be done.

Even if you solved that, business policies and rules usually aren't detailed enough to directly create useful programs out of them. That's another hurdle that's not going to be easy to cross.