Add procedure? predicate to universal backend