Add Preconditions test