Implement test for loading symbols produced by the static form.
Shorten fresh names introduced by the static form.