add file input proof executor test