Rewriting 'OR' operator, restoring initializations in 'let' operator, using ReadDetector for every single variable initialization