say below codes

procedure {:entrypoint} main(x: int)
returns ($r: int)
{
    var i: int;

    i := 0;
    while (i < 10)
        invariant (i <=11);
    {
        i := i + 1;
    }
    assert i > 10;

    $r := i;
    return;
}

the assert error could be found by boogie verifier without specify /unroll argument.
However corral couldn't do this. Seems corral always handle the loops by unrolling. And the invariant statement is not be used.
Or if invariant is supported by corral, how to enable it?