fix output for reverse - after slight confusion that FieldAccess and QualifiedName are both field reads
emit proof script; add 'this' to arglist if non-static method