Correct testcases.
Add testcase for parsing annotations.
Add utilities for finding annotations in rules.