isSatisfiesExpression