non-selfadjoint operators, functional model, Green formula,  
Weyl function, almost solvable extensions, symmetric operators