Function spec_from Copy item path

pub uninterp fn spec_from<S, T>(value: T, ret: S) -> bool