getNumOfEvaluatedLaws added