add a test
use Util.makePair()
resolve a TODO on side effects about LHS