another method test case, plus check for namespace
added control structures to constraints (just to make sure that all expressions are evaluated)
implemented constant declarations