Assertion list
bit (aspect of byte ) → AtLocation
Results from Ascent++: 1
bit → AtLocation → error 0.27