fix proc returning proc with where constraint

fix proc returning proc with where constraint #1172