forall c let a*c + u;


***** a*c + u invalid as rule list

