Predicate AvoidDisplayItemsInComputations::displayItemUsedInComputation

predicate displayItemUsedInComputation(DisplayItem displayItem, ComputationalStmt computation)