fix short circuit operator semantics; TODO: fix `teste5`