Merge "Move testInvariantInCanBeSatisfiedBy to be its own test" am: d40f746ea0 am: 224cd7a74f

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