fix bug in the datalog compiler when using negation
We now perform negation after filtering with interpreted constraints so that
the table reflects relevant columns which were not being added by the negation

Signed-off-by: Nuno Lopes <a-nlopes@microsoft.com>
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable