Fix interface checks

Added logical negation for Course and Student interface implementation checks.