OneAssignment is wrong if is done against arguments