PROBCORE-527 When the result from Prolog is "full_coverage", an appropriate result message for the user is created.