Files with extension '.vy' are Viper sources: they may use Viper extensions, and they must adhere to the slightly different rules of the Viper language, as detailed below.
Files with extension '.py' are assumed to be original python sources, and are processed in a compatibility mode which uses python rules whenever they clash with viper ones.