Data.SBV.Examples.Misc.SBranch
bitCount
prop
path
pathCheck