#1008: #840: first structural edits to TC as test
opened by thuchacz