add tests for resolution of transitively included names