finding parent function
finding assignments
preparing to apply a widening operator: init space
1