Do not increase depth when evaluating nested goals of NormalizesTo#157718
Open
ShoyuVanilla wants to merge 1 commit into
Open
Do not increase depth when evaluating nested goals of NormalizesTo#157718ShoyuVanilla wants to merge 1 commit into
NormalizesTo#157718ShoyuVanilla wants to merge 1 commit into
