Bug fix.
Add example s1 (s means case with speculation).