Added predicate for constant setup to trace file