change update analyzer to have sourceRelation and use relationAnalyzer/expressionAnalyzer

why not use ensureNotUpdated here to? And remove "currently"