uploaded three examples showing use of byteman rulecheck plugin