utils: IGNORE-WARNING, WITH-IGNORED-WARNINGS
extended/tests: muffle object warnings during first parses
extended: feature completeness: make redag tests pass

    o  prevent double population of the frontier,
       by using an ordered set instead of a naked queue