Wys-ckt circuit translation check of Wys* project Check a single source file writting in Wys* language use the operator that Wys* supported.