patching up the handling of complex cases such as alpha-equivalent