Removed some duplication in AMPL_init()