[erlc] internal consistency check failed on move: "unassigned"

[RobinMorisset]

On master,

f(X) ->
    f1(
        try [0 || true xor (ok =/= ((?MODULE:f1(ok) ++ []) -- []))] of
            Y ->
                <<0 || f1(Y)>>
        catch
            [] ->
                X
        end
    ).

f1(_) ->
    ok.

crashes erlc with the error message:

unassigned:1: function f/1+38:
  Internal consistency check failed - please report this bug.
  Instruction: {move,{y,0},{x,0}}
  Error:       {unassigned,{y,0}}: