bugfix to source id in Substitutor.pred_from_structures