Process algebra with conditionals in the presence of epsilon