adding timing calls for assumption/reduction