Instrumentation for Predicate Complete Test Coverage for C programs