Acrescenta opções ao unificador.