let
descr =
"specifies file name for LTL property"