SomeValues reasoning not really working in API module over Tableau. Disable?

[daghovland]

Describe the bug
The test on the file someValuesExample (which works fine with the datalog-based reasoner) does not work on the Tableau-based reasoner from the Api module