unit test merge

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

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