Add constraint pool defintion (with derivation undefined)