nitting on printing code

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
nitting on collector routine for abstraction

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