needs predicate init fix and compounds work in an example