Trees and Predicates in Production Control Discrete Problems