Update semantic to 0.13.0