Create Preconditions.cs