e/Sparse conditional constant propagation

Information
has gloss	eng: In computer science, sparse conditional constant propagation is an optimization frequently applied in compilers after conversion to static single assignment form (SSA). It simultaneously removes some kinds of dead code and propagates constants throughout a program. It must be noted, however, that it is strictly more powerful than applying dead code elimination and constant propagation in any order or any number of repetitions.
lexicalization	eng: Sparse conditional constant propagation
instance of	c/Compiler optimizations