True after successful analysis
terminal()
Returns true at the end of a successful analysis.
Boolean a, b; equation a = change(b) or terminal();