Applies succinctifications to test class asserts