expanded expression translation to cover sequential composition, and some boolean constants;
expanded expression translation to cover sequential composition, and some boolean constants;

NaaS/motto,NaaS/motto