[BlockConstantPropagation] Misc bugfixes
[Tests] Additional unit tests