Suppose that we have the following commutative diagram of graded Lie algebras
$$\begin{array} A 0& {\longrightarrow} & C_n & {\longrightarrow} & A_{n+1} &{\longrightarrow} & A_n & {\longrightarrow} &0 \\ & & \downarrow{} & &\downarrow{}& &\downarrow{}\\ 0& {\longrightarrow}&D_n & \stackrel{}{\longrightarrow} &B_{n+1} & \stackrel{}{\longrightarrow} & B_n & {\longrightarrow}&0 & \end{array}$$ for all $n\in\mathbb{Z}^+$, where the both rows are split exact sequences and every vertical map is onto.
My question is, suppose that we know $A_n$, $C_n$, $D_n$ for all $n\in\mathbb{Z}^+$ and $B_1$, do we have enough information to uniquely determine up to isomorphism every $B_n$ (likely by induction)?
Here by "know", I mean that we can write $A_n$ (similarly $C_n, D_n, B_1$) as the free Lie algebra modulo some known relations $$B_n=L[S_n]/I_n,$$ where $L[S_n]$ is the free Lie algebra generated by a set $S_n$ and $I_n$ is 2-sided Lie ideal generated by some known relations.
If the answer to my question is positive, then is there a systematic way to determine the structure of $B_n$?
It looks to me like it is true that $B_n$ is uniquely determined. Let $K_n$ be the kernel of the map $A_n\to B_n$ and let $E_n$ be the kernel from $C_n$ to $D_n$. Then we have an exact sequence $0\to E_n\to K_{n+1}\to K_n$. $E_n$ is known and $K_n$ is known inductively. That means that $K_{n+1}$ can be determined as the subspace of $A_{n+1}$ generated by all preimages of $K_n$ and images f $D_n$. Therefore $B_{n+1}=A_{n+1}/K_{n+1}$ is uniquely determined.