UnitTest of views
AST verification of solution