Stack effect inference