[RequirementMachine] Add verification for rules involving shape symbols.
[RequirementMachine] Add verification for rules involving shape symbols.

roambotics/swift,apple/swift,apple/swift,roambotics/swift,roambotics/swift,apple/swift,roambotics/swift,roambotics/swift,apple/swift,apple/swift,roambotics/swift,apple/swift