[BlockConstantPropagation] Bitwise ops
[BlockConstantPropagation] Block return values
[UnusedCodeRemoval] Tracking ifs
[Tests] Basic unit test structure