RuntimeScope: Scope & {
    assumptions: undefined | ExpressionMapInterface<boolean>;
    ids?: RuntimeIdentifierDefinitions;
    parentScope?: RuntimeScope;
}