SWISH says "undefined predicate", although it's defined in another global code snippet

General
1

Dear SWISHers,

In short, SWISH seems to recognize only locally defined predicates, even in global mode. No big problem, but the nice feature that “undefined predicates” are shown in thin red and “unreferenced predicates” are shown in bold red does not work properly.

The problem is illustrated here:

https://swish.swi-prolog.org/p/555-formatting.swinb

Best wishes,

Matthias