[experimental] revert a LinkedHashMap change to see it's performance impact
[experimental] don't ignore exception in 	KILtoSMTLib