let empty_assigns_info = NoAssignsInfo