Added WCET of basic blocks from ARM instructions