Java backend: fixed a bug(?) in transforming the requires part of a rule from KIL to Java backend KIL