Visualization experiments for SeaFlow