Use C++11 for-each loop in from-read axiom