Removed occurrences of makeForTesting, which are no longer needed now
that we use JSON to convert from Strings to AbstractDescription.  The
testing framework persists in using old-style String syntax, which is
converted to JSON-style syntax before converting to
AbstractDescriptions.