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

Change-Id: I55eccca940812dfb4a842de31ccbfd858b1a2331
tree: 5818340d5697989a283e884d473f98985c5db8e7
  1. tests/