Stack effect inference for alien calls
