scasp_solve:proved_in

proved_in_stack(+Goal, +Proved) is semidet[private]: True when Goal appears in one of the finished branches of the proof tree, i.e., it appears in Stack, but not as direct parent.