Update python/def.snippet