Included Profile Correctness Tests