ModelExtensions can now use upper information for alignment proposals.