fix #40: update the tests of Formula to use argsFn