added test for listing justifications in full reasoning, since in practice there seem to be problems; test shows nothing, though