Decision whether to use ModelExtension information in alignment
proposals is now delegated to the ModelExtension itself, rather than
being specified only via a global variable.