let
help =
"specifies file name for LTL property"