first constraints can be specified in NaBL