public override void Load(string path)
{
// Saving compositions can't be implemented because we need to
// delegate save() to the operands, but they need to accept streams,
// not file names. Fortunately, we don't need it. --IM
throw new NotImplementedException("CompositionFstImpl.Load unimplemented");
}