Add failure cases to SDD