Add test-suite file. Compute the name for the record binder in the
eta-expanded version of a projection as before.