Create test_justification.c