A tool to faciliate using HermitCrab in synthesis mode for FLExTrans - View it on GitHub