Resolving generated names of MC.tla files