add experimental features - verify contracts with [exists]