New option for printing implicit arguments (off by default)