more working through bytecodeProofScript.sml