Added DeclSeq substitution