The result by documentation should be:
specification HMSC with nesting level 1, flow BMSC message ordering of the flow does not correspond to any message ordering of the specification
result: message
true result in verification report window is: Flow "Page-2" not found. Diff is available (HMSC path + diff): show [1][2].
Process of execution: Menu SCStudio -> Find Flow and check Find basic MSC flows: Page-2 and In MSC diagram Page-1.