wagner-fischer implemented