Tools for profiling Stratego code.