add predicate to terminal controller