First versions successfullh handling name spaces
Added verification through code generation