Added PreconditionTests