When I use a function that returns a boolean in a 'If' condition,
ModelSim reports that "Condition Coverage ignoring this condition". Is
it a limitation in ModelSim?