use expr_ref_vector * to store predicates

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