add ACC coverage to precondition predicates