ostrich.preop
Companion class for building representation of x = replace(y, e, z) for a regular expression e.
Build preop from aut giving regex to be replaced
Companion class for building representation of x = replace(y, e, z) for a regular expression e.