Renaming functions
Adding vivification of long clauses' time into SQL
Fixing stuff referring to STP
Fixing too many debug messages during compilation

Thanks to Robert Aston for raising this issue