An effective diversity promotion mechanism in grammatical evolution