v3.13.4

Lucas Charles

@theoretick

35a37d0a · Merge branch 'port-b113-fix' into 'main' · Mar 15, 2023

Integrate rule refinement for rule B113 (!217)