Fixes precision of stack analysis