Hi Paul
It is possible that the user has been assigned to the certification but the user has not enrolled on the course by launching the course through through the Certification.interface.
Enrolment in a course from a certification is not automatic as there may be some prereq courses or the course may be optional. This requires the user to launch the course from the Certification interface to enrol them.
regards