there are no more TODO/FIXME/XXX
formatting.
some function declaration simplified
tests for has-problem-* and expand-prob-tests