generation of operational rules: creation of attribute conditions for
expressions