Bugfix for choose

Testing for non-epsilon values when checking against prohibitions led to a
maximal epsilon of 0 and thus to non-termination in prepareModel().  This bug is
fixed by not checking for epsilon-freedom when checking against prohibitions.