oprava logiky naplnovani hloupeho pristavu
stejna oprava u chytreho prostavu, uprava konstant v globalnich definicich
spojeni pristavu a overujici dotazy
oba pristavy maji stejnou frontu, adekvatni dotazy
oba pristavy maji stejnou frontu, adekvatni dotazy