adding SeExpr dependency