abstraction for Scyther tool