Как объяснить постановку двоеточия в данном предложении?

Стало трудно ходить по дорожкам сада: приходилось идти по листьям, как по настоящему ковру.

1. Обобщающее слово стоит перед однородными членами предложения.
2. Вторая часть бессоюзного сложного предложения противопоставлена по содержанию первой части.
3. Первая часть бессоюзного сложного предложения указывает на время совершения того, о чём говорится в первой части.
4. Вторая часть бессоюзного сложного предложения содержит причину того, о чём говорится в первой части.