@arg and @return properties are now exempt from context propagation
rule. Added basic test suite.