I added support for ```owise``` rules when I was working on ```pattern-matching``` module for the Java backend. https://github.com/kframework/k/blob/master/tests/regression/java-rewrite-engine/pattern_matching/test.k