removed gloval intraprocedural_view variable and replaced by get_*() set_*() functions