Accumulated minor fixes. Commit motivated by improved time to call gc_dynamic, which wasnt getting called in good context to actually do reclamation of clauses.
Authored by: dwarren 2018-10-02
Parent: [r9429]
Child: [r9431]