BUG: removed line `using Debug` from ifp.jl