vacant peek checks works, stack-map propagation doesnt. i dont understand the transfer-set method