instantiate abstraction predicates for body and head of each rule

Signed-off-by: Andrey Rybalchenko <rybal@microsoft.com>