Added DependsOn and Provides annotations
Added Javadoc for ResolveBlockingINput.
Merge pull request #253 from kframework/traiansf-review2

Traiansf review2