This is constant propagation, probably one of the smallest slivers of "automated reasoning" that could arguably still be called as such. Personally, I don't th

This is constant propagation, probably one of the smallest slivers of "automated reasoning" that could arguably still be called as such. Personally, I don't think it falls under that umbrella. Could this get a title change?