fix various forward slicing issues and add support for inter-procedure