Здравствуйте, kaa.python, Вы писали:

EL>>одно исключает другое
KP>Не противоречит при условии обеспечения гарантий на этапе компиляции.

Выполнение которго неразрешимо в общем случае.