let descr = "specifies file name for LTL property"