pengines_io:binding_term(+Term, +Vars, +Options) is semidet[private]

Produce alternative renderings for Term, which is a binding for Vars.