updateSatisfiesExpression