dialyzer_typesig: Eliminate unreachable code
dialyzer_typesig: Eliminate unreachable code

* The `module` construct is never present in the Core Erlang code
  since only one function at the time is analyzed.

* The Core Erlang code generated by the compiler no longer uses the
  `receive` construct.

bjorng/otp,jj1bdx/otp,g-andrade/otp,jj1bdx/otp,emacsmirror/erlang,vinoski/otp,isvilen/otp,vinoski/otp,vinoski/otp,getong/otp,rlipscombe/otp,jj1bdx/otp,dgud/otp,g-andrade/otp,potatosalad/otp,emacsmirror/erlang,rlipscombe/otp,dumbbell/otp,bjorng/otp,erlang/otp,getong/otp,jj1bdx/otp,g-andrade/otp,jj1bdx/otp,g-andrade/otp,potatosalad/otp,emacsmirror/erlang,erlang/otp,bjorng/otp,isvilen/otp,isvilen/otp,dgud/otp,vinoski/otp,jj1bdx/otp,erlang/otp,mikpe/otp,dgud/otp,rlipscombe/otp,getong/otp,getong/otp,potatosalad/otp,potatosalad/otp,dumbbell/otp,getong/otp,emacsmirror/erlang,potatosalad/otp,g-andrade/otp,erlang/otp,mikpe/otp,isvilen/otp,potatosalad/otp,emacsmirror/erlang,dumbbell/otp,mikpe/otp,mikpe/otp,jj1bdx/otp,emacsmirror/erlang,dumbbell/otp,potatosalad/otp,dumbbell/otp,rlipscombe/otp,bjorng/otp,bjorng/otp,mikpe/otp,potatosalad/otp,rlipscombe/otp,dgud/otp,g-andrade/otp,mikpe/otp,mikpe/otp,isvilen/otp,rlipscombe/otp,g-andrade/otp,getong/otp,vinoski/otp,isvilen/otp,dumbbell/otp,erlang/otp,dumbbell/otp,mikpe/otp,dumbbell/otp,dgud/otp,rlipscombe/otp,dgud/otp,jj1bdx/otp,isvilen/otp,emacsmirror/erlang,mikpe/otp,dgud/otp,potatosalad/otp,emacsmirror/erlang,dumbbell/otp,bjorng/otp,g-andrade/otp,dgud/otp,bjorng/otp,bjorng/otp,potatosalad/otp,jj1bdx/otp,vinoski/otp,dgud/otp,g-andrade/otp,erlang/otp,dumbbell/otp,g-andrade/otp,emacsmirror/erlang,getong/otp,dgud/otp,erlang/otp,bjorng/otp,vinoski/otp,rlipscombe/otp,getong/otp,vinoski/otp,isvilen/otp,getong/otp,rlipscombe/otp,isvilen/otp,vinoski/otp,erlang/otp,erlang/otp,emacsmirror/erlang,mikpe/otp,isvilen/otp,erlang/otp,jj1bdx/otp,getong/otp,vinoski/otp,rlipscombe/otp,bjorng/otp