mds-kbdc: validate-tree: add test case: assumption inside assumption

Signed-off-by: Mattias Andrée <maandree@operamail.com>
m

Signed-off-by: Mattias Andrée <maandree@operamail.com>
mds-kbdc: validate-tree: you can define functions and macros inside assumption-clauses

Signed-off-by: Mattias Andrée <maandree@operamail.com>