Make Z3 monitors optional.
Issue-Ref: 3730 Issue-Url: https://af3-developer.fortiss.org/issues/3730 Signed-off-by: Alexander Diewald diewald@fortiss.org
Issue-Ref: 3730 Issue-Url: https://af3-developer.fortiss.org/issues/3730 Signed-off-by: Alexander Diewald diewald@fortiss.org