hsFreeAndDeclaredPNs now removes declared vars from free ones before returning.
Renaming test IdIn3 provides correct error.