Re-instantiate control flow analysis