[BE] domain constraints