add ASSERT_LTL and VISB_JSON_FILE to used def finder
Passed
Michael Leuschel
created pipeline for commit 8aa435aa
, finished
For master
1 minute 40 seconds, queued for 2 seconds