make self-contained bind-variables

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
fix bug in union_fn: delta should not be reset, it is shared among several union computations

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