Current implementation of short range oh skips a path if a data independent argument of a function is used in any blocks of the path. Modify this logic to skip the blocks using an argument only. This will increase number of protected blocks and will provide better block coverage.
If the last block of a path (the block where assertion should be inserted) is using function argument, then do not add hashes to the block but insert assertion only.
Current implementation of short range oh skips a path if a data independent argument of a function is used in any blocks of the path. Modify this logic to skip the blocks using an argument only. This will increase number of protected blocks and will provide better block coverage. If the last block of a path (the block where assertion should be inserted) is using function argument, then do not add hashes to the block but insert assertion only.