Redesigned test cases for Sesame for easier adaptation to other tools