Added abstract/concrete semantics rewriters.
Tool works from an end users prospective now.