Biasing symbolic search by means of dynamic activity profiles