> -- Илья Ермаков писал(а):
> Те инварианты, которые можно проверить статически, тривиальны.

Это в обероне - ничего кроме тривиальных и не проверишь при все желанииПоэтому даже мысли не возникает о том, что вот эти и эти и эти инварианты замечательно выносятся в статику.