Adds analyzer which locates initial assign sites of method's temporaries

This pass may be used to find the location of the very first
temporary assignment within the provided method.

Typically such writes are used to initialize the counters or
instantiate temporary objects that are used in method later.

This information may be used by type inference system to
provide more accurate result.

Issue: #32