[Init] Implementation of "Combining Syntactic and Semantic Bidirectionalization"