Proof of concept for condition unit tests with proper annotation discovery