Implement SSA minimization
Allow the constant folder to avoid ever substituting certain variables.