Minor bugfix for the outline

Change-Id: I8dbd2b1be4db797fc932ea3bca2a7c7bb83736a6
Signed-off-by: mstegmaier <michael-1.stegmaier@uni-ulm.de>
Fixed consistency issues of universes in sequential rules

Change-Id: I59b319f4dda36ba5ab81a73a6b6fa0e8de38677b
Signed-off-by: mstegmaier <michael-1.stegmaier@uni-ulm.de>