Report: Make predicate names in generator camelCase.
Report: Use black magic to make line numbering look consitent.
Now line numbers in lstlisting and algorithm look simillar.