FuncSpec: generate dependencies by demand