added alternative implementation for terms reifying classes