added support for @concolic and @symbolic annotations

See test\decorator.py for usage