use new accessors to simplify code. Add checking to make sure top-level instr