scasp_output:ovar_analyze

ovar_analyze_term(+Term) is det
ovar_analyze_term(+Term, +Options) is det: Analyze variables in an output term. Adds attributes to these variables that indicate their status and make this available through ovar_is_singleton/1 and ovar_var_name/1.