Update semantic to 0.12.2