Starting on fine grained testing of implit arg form