non-literal value constraints