Iris merge requestshttps://gitlab.mpi-sws.org/gmalecha/iris/-/merge_requests2020-01-18T02:37:39Zhttps://gitlab.mpi-sws.org/gmalecha/iris/-/merge_requests/2Remove coercion status of siProp_valid and uPred_valid2020-01-18T02:37:39ZGregory MalechaRemove coercion status of siProp_valid and uPred_validAs suggested in https://gitlab.mpi-sws.org/iris/iris/merge_requests/358. Opening as a separate MR because the tests break.As suggested in https://gitlab.mpi-sws.org/iris/iris/merge_requests/358. Opening as a separate MR because the tests break.