Fixed WP to deal with sequence statements