addTerminator

fun addTerminator(terminator: Predicate<Environment<T, P>>)