ostrich.proofops
Convert predicates to equations.
Convert predicates to equations. Supported predicates at the moment are negative literals of str_prefix
Sequences of Actions to be executed