https://profilpelajar.com/en/Sparse_conditional_constant_propagation