Add new opaque_over_existential
rule
#5915
+127
−17
Open
Loading