general {
    funcon-term: 
      initialise-storing
      give(
        allocate-initialised-variable(booleans,true),
        check-true structural-assigned(given))
        ;
}

tests {
    result-term: null-value;
}
