Fix verify to handle intrinsic functions