disjunctions with list.Contains() doesn't work properly

[gulnarrra]

I have to check a list for requiered values. Requiered values can be different - they depend on conditions.

Example: if I have "config.nginx_conf" set to true, "playbooks.default" list must contain one of "NGINX_CONF", "NGINX_CONF2", "ALL_CONF" playbooks.
And also if I have "config.openshift_conf" set to true, "playbooks.default" list must contain one of "OPENSHIFT_CONF", "ALL_CONF" playbooks.
This checks contain one common playbook - "ALL_CONF".
When only one of this checks set to true, all works fine. But when both nginx_conf and openshift_conf set to true, I get error.

data file - param.json:

{
  "playbooks": {
    "default": [
      "NGINX_DEPLOY",
      "OPENSHIFT_DEPLOY",
      "ALL_CONF",
      "SECURITY_CONF"
    ]
  },
  "config": {
    "nginx_deploy": true,
    "nginx_conf": true,
    "openshift_deploy": true,
    "openshift_conf": true
  }
}

rules file - verifylist.cue:

package verifylist

import "list"

config: {
  nginx_deploy: bool,
  nginx_conf: bool,
  openshift_deploy: bool,
  openshift_conf: bool
}

[=~"playbooks"]: default!: {
  if config.nginx_deploy { list.Contains("SECURITY_CONF") & list.Contains("NGINX_DEPLOY") }
  if config.openshift_deploy { list.Contains("OPENSHIFT_DEPLOY") }
  if config.nginx_conf { list.Contains("NGINX_CONF") | list.Contains("NGINX_CONF2") | list.Contains("ALL_CONF") }
  if config.openshift_conf { list.Contains("OPENSHIFT_CONF") | list.Contains("ALL_CONF") }
} 

Error:

$ cue vet verifylist.cue param.json
playbooks.default: 2 errors in empty disjunction:
playbooks.default: invalid value ["NGINX_DEPLOY","OPENSHIFT_DEPLOY","ALL_CONF","SECURITY_CONF"] (does not satisfy list.Contains("NGINX_CONF")):
    ./verifylist.cue:15:26
    ./param.json:3:16
    ./verifylist.cue:12:28
    ./verifylist.cue:15:40
playbooks.default: invalid value ["NGINX_DEPLOY","OPENSHIFT_DEPLOY","ALL_CONF","SECURITY_CONF"] (does not satisfy list.Contains("OPENSHIFT_CONF")):
    ./verifylist.cue:16:30
    ./param.json:3:16
    ./verifylist.cue:12:28
    ./verifylist.cue:16:44

List contain "ALL_CONF", so validation must be passed. But why I get error? What should I do to make a few checks that could contain one or more common elements like "ALL_CONF" in my example?

UPD:
For some reason, disjunction result depends on order of values if I use list.Contains() function.

param.json

{
  "SomeStruct": {
    "List1": [1,2]
  },
  "SomeConf": {
    "Conf1": true,
    "Conf2": true,
    "Conf3": true,
    "Conf4": true
  }
}

good.cue

package verifylist

import "list"

SomeConf: {
  Conf1: bool,
  Conf2: bool,
  Conf3: bool,
  Conf4: bool
}

["SomeStruct"]: List1: {
  if SomeConf.Conf1 { list.Contains(1) & list.Contains(2) }
  if SomeConf.Conf2 { list.Contains(1) | list.Contains(2) }
  if SomeConf.Conf3 { list.Contains(1) | list.Contains(3) }
  if SomeConf.Conf4 { list.Contains(1) | list.Contains(4) }
}

bad.cue

package verifylist

import "list"

SomeConf: {
  Conf1: bool,
  Conf2: bool,
  Conf3: bool,
  Conf4: bool
}

["SomeStruct"]: List1: {
  if SomeConf.Conf1 { list.Contains(1) & list.Contains(2) }
  if SomeConf.Conf2 { list.Contains(2) | list.Contains(1) }
  if SomeConf.Conf3 { list.Contains(3) | list.Contains(1) }
  if SomeConf.Conf4 { list.Contains(4) | list.Contains(1) }
}

Output:

$ cue vet good.cue param.json
$ cue vet bad.cue param.json
SomeStruct.List1: 2 errors in empty disjunction:
SomeStruct.List1: invalid value [1,2] (does not satisfy list.Contains(3)):
    ./bad.cue:15:23
    ./bad.cue:12:24
    ./bad.cue:15:37
    ./param.json:3:14
SomeStruct.List1: invalid value [1,2] (does not satisfy list.Contains(4)):
    ./bad.cue:16:23
    ./bad.cue:12:24
    ./bad.cue:16:37
    ./param.json:3:14

[gulnarrra]

The answer is:
When calling the function inside of list, function returns result with type "list":

["SomeStruct"]: List1: {
  if SomeConf.Conf1 { list.Contains(100) } 
  ...
}

When calling the function outside of list, result will be "bool" as expected:

if SomeConf.Conf1 { 
OneExists: (list.Contains(SomeStruct.List1,100) & true
}