approximation wrong
Issue #893
new
both XSB and BDD's but with different erorr messages: http://dtai.cs.kuleuven.be/krr/idp-ide/?src=3e87b089000dfc18532a
both XSB and BDD's but with different erorr messages: http://dtai.cs.kuleuven.be/krr/idp-ide/?src=3e87b089000dfc18532a