Fix alignment constraint preservation in argument sniffing