HomeIsabelle/Phabricator

replaced slow smt call by blast