Term instantiation at top level in trans sys.