implement widening, use only one global store
add flow-view output format