* ep/por:
  Added necessary disabling set
  Consistent naming in guard interface
  Added co-enabled detection for const array index
  Added get_guard_all function
  Added simple guard necessary enabling set matrix
  Added guard expression conflict detection
  Added simple guard co-enabled matrix
  Split independent conjunctive guards
  Export guard matrix
  Export guards
  Added get_active (enabled/disabled/inactive) set