converted abstract syntax to concrete syntax in spec rule and got rid of the .Exps