Less debugging

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@36525 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
#4560 anova headers. 

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@36526 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Fixes in theorem prover when Giac is too slow

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@36527 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
YANPE

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@36528 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Indenting code

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@36529 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e