#
# PRE: if
#
#  Matching "if" conditions
#
if (!(User-Name == "bob")) {
	test_fail
}
else {
	success
}
