initial support for branching: phi() function, track stack/locals for every pc-position