Add some tests for Preconditions.