push-chain loop is actually solvable. Fixed #3