first stab at fixed-point calculation of nullable symbols.