test confirming properties queries (and their redundancy)