Facility for two types of depend. tail-type (1) of include-type (2).