Test suite for most of currently supported syntax.
Added support for satisfies.
Remove unused class.
Licensing information added.