SFC-2008: 18.07.01Maude-12p