Dependent advice language extension.