let
empty_assigns_info =
NoAssignsInfo