added SeaFlow script