Incorrect errors in combination between reveal and outline

[HSMF]

The following snippet reports errors related to reveal when the issue in fact is in outline. This happens no matter how many statements and even functions are between the reveal and the outline.

package main

func foo() {

    assert reveal f() == 1
    //                ^ unexpected ==, expecting arguments

    decreases
    outline (
    assert true

    // expected error: unexpected } in outlineStatement, expecting ')'
}