Add test triggering panic in tarval module.