code: def score_for_task(properties, category, result):
      
      assert result is not None
      if properties and Property.create_from_names(properties).is_svcomp:
          return _svcomp_score(category, result)
      return None
docs: Return the possible score of task, depending on whether the result is correct or not.