Factor out binding support test
Improved label
Properly factor out infinite recursion workaround