fixed MySolver empty exit problem; added ReachingDef