powerfull circuit constraint

+ a lot of filtering
- may be a little waste of time in case of full domains
todo same for subcircuit