Adding ART tests for truth derivations in master

Title says it all.

Merge request reports

Loading