Mapping control statements to mandates