fixed wcet to use explicit |-> instead of lookup