implementing user-circuit generic name (as opposed to instance name) in GUI