reachability
remove operation params, leave only OT constraints to optimize
bug fixes
fix AR syllabification