Q-Checker Promotes Design Reuse