Implemented unrolling annotations for times and for.