fix arguments reference passing in function contract
correct tests for travis : remove ASSERT_TEST_EQUAL instruction