First pass at building CFG