Variable queryOrUpdateConst

Query or update, optimized for the Query case. One could implement a new rule that does not use BACKTRACK.