#
#  PRE: if
#
if (User-Name == 'bob') {
	accept
	success
	return
}

# Should not execute this condition
if (User-Name == 'bob') {
	reject
}
