Better name for function
Better naming of function parameters
subsume implicit cls in case learnt/simplified orig needs to be dumped