Added tests for Preconditions2