Process coverage related properties in TestCaseProcucer