let help = "specifies file name for LTL property"