My program is debugging really slow after I add too much constraints to it.
It debugs in normal time (some few seconds) if I add only one constraint less. So it seems