given threshold InOut [...] Initial Comment Return

threshold InOut: Scope [...] Comment Return Assert

value InOut: Scope [...] Comment Return Assert

substring InOut: Scope [...] Comment Return Assert

string InOut: Scope [...] Comment Return Assert

of type STRING InOut [...] Initial Comment Return

string InOut: Scope [...] Comment Return Assert

given substring InOut [...] Initial Comment Return

value InOut: Scope [...] Comment Return Assert

value InOut: Scope [...] Comment Return Assert