HomeIsabelle/Phabricator

avoid passing chained facts twice to preplay in Sledgehammer