Added assertion for failing SVCOMP example.