[Lava 005] clause right rules