Added case split suggestions to abs module, changed example 32