Stack effect inference implementation
