Fix synopsis example
Add ident and logic tests