renamed vars in ch4; implemented amb evaluator