Thanks for the isolated case. I was able to convert it to Erlang:
-module(dummy).
-compile([no_auto_import]).
-export([execute/1]).
execute(_x@1) ->
_a@1 = get_a(_x@1),
_b@1 = get_b(_x@1),
erlang:display(_b@1),
case _a@1 /= _b@1 of
false ->
nil;
true ->
erlang:display(_b@1),
ok
end.
get_a(_x@1) ->
case _x@1 == <<"A">> of
false ->
2;
true ->
3
end.
get_b(_x@1) ->
case _x@1 == <<"A">> of
false ->
1;
true ->
2
end.
And I see the same issue. I will open up a bug report.
