Function apply_instruction 

fn apply_instruction(
    state: &mut AbstractState,
    instr: &Instruction,
) -> Result<(), ()>