With Rules with_001 This rule checks for with statements. Violation with buttons select Fix Refactor with statement into a process.