add short-circut test