Remove redundant test case

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix result of elaboration

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>