Add a counter-example for include test