go through all symbols in RHS of a rule for first set
add epsilon to a rule only if all non-terms of RHS can lead to epsilon