Control order and edge types expanded by forward slicing utility functions.