Check refinement of high-level spec abs with all models (#6509)

Check refinement of high-level spec abs with all models (#6509) #84