[automerger skipped] Merge "Move testInvariantInCanBeSatisfiedBy to be its own test" into rvc-dev am: 0acf7755b5 -s ours

am skip reason: Change-Id Id65b7189202108b232905535587f8a282e48007b with SHA-1 8ddd0227a9 is in history

Change-Id: I0175b15e737b35d5c0f8aa0d69423e3e0a76a205
tree: 0af7a9e69f300712cdf2a1519bf7c303b2d4f2db
  1. tests/