add richness to SeaFlow examples