move doc code to rel, adding unit test

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
remove extra udoc_relation

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
testing filter interpreted

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>