TOAL and SYNTHATTACK