Changed back the condition structure. I added to many levels. Now we have

operation o has: o.conditions: List[Condition]
condition c has: c.guard: Proposition, c.action: Action, attributes: SPAttributes
action a has: a.stateVariableID: ID, a.value: SPAttributeValue
Changes on conditions and started on relation identification