Correct logic for include+extend in same module