Simplification transform using known-bits result to eliminate extract(zeroextend(..)) across statements#462

ailrst wants to merge 1 commit intomainUQ-PAC/BASIL:mainfrom

known-bits-simplify-bvopsUQ-PAC/BASIL:known-bits-simplify-bvopsCopy head branch name to clipboard