Extended Query Facilities for Racer and an Application to Software-Engineering Problems