enable false true $(DefineConstants);JETBRAINS_ANNOTATIONS;CONTRACTS_FULL portable enable true true true PreserveNewest