* [HTML_TABLE,SC] Predicate option declarations, options as last argument.
* [HTML_TABLE,SC] Reuse MATH_EXT for old minus_one/2 predicate.