IF THEN - логический оператор при наступлении верного условия ныполняет определенные команды указанные после оператора THEN , логический оператор заканчивается оператором END IF;

Есть возможность добавить в условный оператор выполнения команд при наступлении случая когда условие не выполняется, в таком случае добавляется оператор ELSE перед оператором END IF;

Если значение count_credits больше нуля тогда выполняем блок после оператора THEN , в остальных случаях выполняем команду после оператора ELSE