-
-
twins-without-whnfview
Do not normalize when searching for twins
-
twins-without-usage-awareness
Not checking whether twin variables are actually used is problematic
-
Do not normalize when searching for twins
Not checking whether twin variables are actually used is problematic