starting to remove all format messages

- we should use the proper prolog message mechanism for fine grained
output and visualization
- isolated the error why reducing yields an infinite loop