Merge "Move testInvariantInCanBeSatisfiedBy to be its own test" into rvc-dev am: 0acf7755b5

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