[erlc] internal consistency check failed - instruction bs_init_writable

[RobinMorisset]

On master (with or without cherry-picking #6559), the following testcase:

f(<<_>>, _) ->
    ok;
f(X, _) ->
    case 0 + get_keys() of
        X ->
            ok;
        _ ->
            (node() orelse garbage_collect()) =:=
                case <<0 || false>> of
                    #{} ->
                        ok
                end
    end.

causes an erlc error with the following message:

bs_init_writable:1: function f2/2+44:
  Internal consistency check failed - please report this bug.
  Instruction: bs_init_writable
  Error:       {allocated,undecided}: