Search space reduction of asynchrony immune cellular automata