/* Testing import/accumulate
 *  renaming:                               
 *    a. global - local renaming
 *    b. global - global renaming
 */

sig renaming.

kind i type.

type a i.
type foo i -> o.
