Help functions for the Submission Correctness Tests