> also you cannot reason even about simplest instances since they are stateful
Uhm... Classes? Globals?