HomeIsabelle/Phabricator

more robust: avoid spurious timeout of nitpick/kodkod within Isabelle/Scala;