Use level info to remove uninterestings states
Use level info to remove uninterestings states

Signed-off-by: Michael Weber <5059b5df59e67be29faa89536427a574a4318434@cs.utwente.nl>

lordqwerty/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,buschko/ltsmin,thedobs/LTSmin,Meijuh/ltsmin,buschko/ltsmin,alaarman/ltsmin,buschko/ltsmin,Sybe/composition,thedobs/LTSmin,lordqwerty/ltsmin,thedobs/LTSmin,Meijuh/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,trolando/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,lordqwerty/ltsmin,utwente-fmt/ltsmin,lordqwerty/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,Sybe/composition,vbloemen/ltsmin,buschko/ltsmin,thedobs/LTSmin,trolando/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,Sybe/composition,utwente-fmt/ltsmin,alaarman/ltsmin,trolando/ltsmin,vbloemen/ltsmin,Sybe/composition