general {
    funcon-term: 
     initialise-binding 
      and(
        scope(bind-value("x", false),
          scope(bind-value("x", true),
            bound-directly"x")),
        scope(bind-value("x", false),
          true))
        ;
}

tests {
    result-term: true;
}
