Herbie-Plugin Test