Added local instantiation via Python hacking, but that doesn't work too
well, so next step will be to add it back via real predicates.

-Peter Mawhorter
Removed temporary output files from git.

-Peter Mawhorter