Finishes aliases & starts inference