Update semantic rules in La.l4