так правило случаи и оговаривает. Аисты потянулись - с sein. лошади с haben. Зачем тратить время на словари, если мозг при знании правил это за доли секунды опредеояет? А дальше другие времена и другие правила пойдут, на каждое слово  отдельный словарь заводить?