Assertion-based analysis via slicing with ABETS (system description)