Improve quantifier instantiation: always use original terms when matching (was missing for simple triggers).   Minor updates to scripts.