Corrigindo bug de assertPreConditions()