my shit

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
add file w/o model

Signed-off-by: Andrey Rybalchenko <rybal@microsoft.com>
Merge branch 'predabst' of https://git01.codeplex.com/z3 into predabst