low-level interface for some more global constraints