beam_validator: Infer types from result of all type test BIFs
beam_validator: Infer types from result of all type test BIFs

The compiler will usually optimize these into test instructions,
but they'll nevertheless pop up in some cases.

rlipscombe/otp,erlang/otp,rlipscombe/otp,isvilen/otp,vladdu/otp,dgud/otp,rlipscombe/otp,potatosalad/otp,mikpe/otp,dumbbell/otp,emacsmirror/erlang,bsmr-erlang/otp,erlang/otp,vladdu/otp,RoadRunnr/otp,rlipscombe/otp,bjorng/otp,uabboli/otp,mikpe/otp,getong/otp,electricimp/otp,legoscia/otp,dumbbell/otp,isvilen/otp,bsmr-erlang/otp,getong/otp,aboroska/otp,RoadRunnr/otp,mikpe/otp,vinoski/otp,bjorng/otp,getong/otp,dumbbell/otp,bjorng/otp,electricimp/otp,dumbbell/otp,erlang/otp,RoadRunnr/otp,uabboli/otp,emacsmirror/erlang,lrascao/otp,aboroska/otp,jj1bdx/otp,potatosalad/otp,erlang/otp,getong/otp,bsmr-erlang/otp,mikpe/otp,potatosalad/otp,emacsmirror/erlang,RoadRunnr/otp,RoadRunnr/otp,uabboli/otp,aboroska/otp,getong/otp,dgud/otp,emacsmirror/erlang,kvakvs/otp,electricimp/otp,electricimp/otp,g-andrade/otp,potatosalad/otp,uabboli/otp,mikpe/otp,RoadRunnr/otp,electricimp/otp,bjorng/otp,lrascao/otp,g-andrade/otp,jj1bdx/otp,vladdu/otp,aboroska/otp,RoadRunnr/otp,isvilen/otp,g-andrade/otp,jj1bdx/otp,dgud/otp,ferd/otp,aboroska/otp,emacsmirror/erlang,vinoski/otp,rlipscombe/otp,ferd/otp,rlipscombe/otp,bjorng/otp,g-andrade/otp,dgud/otp,electricimp/otp,lrascao/otp,kvakvs/otp,isvilen/otp,emacsmirror/erlang,legoscia/otp,vladdu/otp,mikpe/otp,legoscia/otp,kvakvs/otp,bjorng/otp,dumbbell/otp,erlang/otp,bsmr-erlang/otp,kvakvs/otp,ferd/otp,rlipscombe/otp,jj1bdx/otp,bsmr-erlang/otp,ferd/otp,rlipscombe/otp,kvakvs/otp,bjorng/otp,aboroska/otp,uabboli/otp,vinoski/otp,electricimp/otp,dumbbell/otp,aboroska/otp,electricimp/otp,vladdu/otp,jj1bdx/otp,lrascao/otp,g-andrade/otp,isvilen/otp,dgud/otp,dumbbell/otp,bsmr-erlang/otp,vinoski/otp,ferd/otp,bjorng/otp,ferd/otp,getong/otp,isvilen/otp,erlang/otp,emacsmirror/erlang,lrascao/otp,emacsmirror/erlang,jj1bdx/otp,vinoski/otp,erlang/otp,dgud/otp,lrascao/otp,mikpe/otp,aboroska/otp,g-andrade/otp,isvilen/otp,lrascao/otp,legoscia/otp,legoscia/otp,getong/otp,jj1bdx/otp,bsmr-erlang/otp,legoscia/otp,g-andrade/otp,erlang/otp,aboroska/otp,lrascao/otp,g-andrade/otp,electricimp/otp,vinoski/otp,uabboli/otp,uabboli/otp,legoscia/otp,vinoski/otp,vladdu/otp,uabboli/otp,ferd/otp,bjorng/otp,lrascao/otp,emacsmirror/erlang,ferd/otp,legoscia/otp,getong/otp,potatosalad/otp,potatosalad/otp,kvakvs/otp,jj1bdx/otp,vladdu/otp,vinoski/otp,legoscia/otp,isvilen/otp,mikpe/otp,potatosalad/otp,g-andrade/otp,getong/otp,dgud/otp,potatosalad/otp,kvakvs/otp,dgud/otp,rlipscombe/otp,ferd/otp,isvilen/otp,dumbbell/otp,jj1bdx/otp,g-andrade/otp,mikpe/otp,erlang/otp,vladdu/otp,dgud/otp,vinoski/otp,mikpe/otp,dumbbell/otp,potatosalad/otp,RoadRunnr/otp,kvakvs/otp,emacsmirror/erlang,bsmr-erlang/otp,dumbbell/otp,vinoski/otp,dgud/otp,jj1bdx/otp,kvakvs/otp,uabboli/otp,getong/otp,RoadRunnr/otp,bjorng/otp,isvilen/otp,potatosalad/otp,bsmr-erlang/otp,vladdu/otp,erlang/otp,rlipscombe/otp