#1 WCET for conditional expressions incorrect

[Trevor Harmon]

Clepsydra incorrectly computes the WCET for statements like this:

boolean b = (val > 2);