Variants and option logic

TASK: Variant resolution for a 150% harness design.

Each wire has an option expression. Operators: & (and), | (or), ! (not), parentheses. & and | never mix without parentheses.
An option code is TRUE for a configuration if the configuration lists it, otherwise FALSE.
A wire with an empty expression is in every configuration.
Option families (a configuration picks exactly one of each): {"ENGINE":["V6","V8","EV"],"DRIVE":["LHD","RHD"],"MARKET":["US","EU","CN"]}
Optional features (present or absent): ["TOW","HEAT","ADAS","SUNRF"]

Wires:
[
  {"id":"W1","option":"EU | HEAT"},
  {"id":"W2","option":"TOW & TOW"},
  {"id":"W3","option":"CN"},
  {"id":"W4","option":"EU | V6"},
  {"id":"W5","option":"!RHD & !V6"},
  {"id":"W6","option":"V6 & HEAT"},
  {"id":"W7","option":"!ADAS & !EV"},
  {"id":"W8","option":"EV | HEAT"},
  {"id":"W9","option":"!CN & RHD"},
  {"id":"W10","option":"V8"},
  {"id":"W11","option":""},
  {"id":"W12","option":"!SUNRF"}
]

Configurations:
[
  {"id":"CFG1","codes":["V8","RHD","EU"]},
  {"id":"CFG2","codes":["EV","LHD","US","TOW"]},
  {"id":"CFG3","codes":["V8","RHD","US"]}
]

Output format (JSON, exactly these keys):
```json
{
 "configs": [
  {
   "id": "CFG1",
   "wires": [
    "W1",
    "W4",
    "W9"
   ]
  }
 ]
}
```
For each configuration list every wire it includes.