Add tests for, fix bugs in CALLJ, ARGS(*) and FN