call expr reduction
fix bug in call