reworked analysis algorithm, still work to do: method calls need to be
labeled too