control flow

Summary: modify some control flow code so that I have enough information for data flow analysis

Test Plan:
Nothing yet. Plan:
look at graph generated from pfff_test -cfg_php
write some tests

Reviewers: pad, pieter, mathieubaudet

Differential Revision: https://phabricator.fb.com/D931708