An evaluation-driven decision procedure for G3i