+ StateChecker
refactoring for symmetric cipheing in streams