leo_passes::static_single_assignment

Module program

Source