Erlang do not have notation of “statement” in its’ .beam files, only lines are stored. While in theory you could use 'Abst' chunk to extract “statements” it would be infeasible due to macros (especially in Elixir), and even then there is no mapping between 'Abst' values and 'Code' segments (only 'Line' have such relation).
So unless you write EEP to introduce such connection between “statement” and 'Code' chunk then it is not possible with current VM implementation.
Yes, usually (and in Elixir always) 2.
It is possible, but not always feasible.
Any code in form of:
if a, do: b, else: c
can be written as:
def do_branch(true), do: b
def do_branch(false), do: c
do_branch(a)
And it doesn’t matter what is a.
