fixing testcase that is only activated with DLV