FUZZING DEEPER LOGIC WITH IMPEDING FUNCTION TRANSFORMATION