Artifact: algebra-laws_sjs0.6_2.13.0-M5