fix #434: repeat documentation remarks about reference counting for disambiguation
fix #434: repeat documentation remarks about reference counting for disambiguation

Signed-off-by: Nikolaj Bjorner <0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com>

kyledewey/z3,mschlaipfer/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,mschlaipfer/z3,seahorn/z3,mschlaipfer/z3,kyledewey/z3,mschlaipfer/z3,mschlaipfer/z3,kyledewey/z3,seahorn/z3,seahorn/z3,seahorn/z3,seahorn/z3,kyledewey/z3,mschlaipfer/z3