init0 from phan2graph.py