methoddecl seems to work, need2test & prettyprint