Make assertions for ABC classes