Table decl

predicate decl(@vardecl id, @variable decl)