A multifunctional tool for ZF2