implemented predicates as a syntactic sugar for boolean functions
forgot to add some new sdg_utils helpers for converting objects to procs