let help = "Apply Hoare model for variables when possible."