assembleInstruction done besides Call. Needs restructuring with State Monad for function call counter