for multiple callees, comment some assertions because they will not hold anymore