hybrid issueshttps://depot.lipn.univ-paris13.fr/PMC-SOG/experiments/hybrid/-/issues2020-04-24T13:17:56Zhttps://depot.lipn.univ-paris13.fr/PMC-SOG/experiments/hybrid/-/issues/1Add quotes around atomic propositions2020-04-24T13:17:56ZJaime AriasAdd quotes around atomic propositions`pmc-sog` thinks that an F at the start of an AP (e.g. Fork) is an LTL operator.`pmc-sog` thinks that an F at the start of an AP (e.g. Fork) is an LTL operator.Jaime AriasJaime Arias