nominal subst-based quines with shadowing