added instrumentation to fact_tc