test implementation on Preconditions.java