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
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 <c61bc7502a9d053e92b2bfd97b87138a818cfe20@microsoft.com>

wujunzero/z3,jirislaby/z3,wujunzero/z3,wujunzero/z3,gmeer/z3,belyaev-mikhail/z3,375670450/z3,melted/z3,zardus/z3,smilliken/z3,kyledewey/z3,Drup/z3,felixdae/z3,smilliken/z3,hguenther/z3,leodemoura/z3,conceptofproof/z3,traiansf/z3-java,wujunzero/z3,Baha/z3,traiansf/z3-java,375670450/z3,hguenther/z3,melted/z3,melted/z3,zhuyue1314/z3,jslhs/z3,jslhs/z3,Baha/z3,wujunzero/z3,hguenther/z3,seahorn/z3,mschlaipfer/z3,leodemoura/z3,zhuyue1314/z3,felixdae/z3,belyaev-mikhail/z3,traiansf/z3-java,mschlaipfer/z3,leodemoura/z3,conceptofproof/z3,zhuyue1314/z3,syjzwjj/z3,syjzwjj/z3,conceptofproof/z3,conceptofproof/z3,huangshiyou/z3,leodemoura/z3,huangshiyou/z3,zardus/z3,zhuyue1314/z3,kyledewey/z3,traiansf/z3-java,huangshiyou/z3,kyledewey/z3,felixdae/z3,zardus/z3,375670450/z3,375670450/z3,seahorn/z3,huangshiyou/z3,hguenther/z3,traiansf/z3-java,zhuyue1314/z3,gmeer/z3,Drup/z3,belyaev-mikhail/z3,jirislaby/z3,smilliken/z3,seahorn/z3,Drup/z3,melted/z3,Drup/z3,zardus/z3,mschlaipfer/z3,syjzwjj/z3,traiansf/z3-java,melted/z3,leodemoura/z3,Baha/z3,kyledewey/z3,huangshiyou/z3,belyaev-mikhail/z3,huangshiyou/z3,melted/z3,felixdae/z3,wujunzero/z3,felixdae/z3,kyledewey/z3,smilliken/z3,gmeer/z3,jirislaby/z3,jslhs/z3,kyledewey/z3,smilliken/z3,felixdae/z3,seahorn/z3,gmeer/z3,jslhs/z3,Drup/z3,mschlaipfer/z3,smilliken/z3,jirislaby/z3,Drup/z3,belyaev-mikhail/z3,seahorn/z3,Baha/z3,gmeer/z3,leodemoura/z3,hguenther/z3,syjzwjj/z3,jirislaby/z3,hguenther/z3,seahorn/z3,syjzwjj/z3,jslhs/z3,Baha/z3,jirislaby/z3,conceptofproof/z3,syjzwjj/z3,mschlaipfer/z3,zardus/z3,conceptofproof/z3,Baha/z3,zardus/z3,jslhs/z3,375670450/z3,gmeer/z3,belyaev-mikhail/z3,mschlaipfer/z3,zhuyue1314/z3,375670450/z3