Ignore .v.d
Inductive definition of temporary name mapping function (incomplete)