Assertion: compiler | /r/CapableOf | know the value of a
Facets:
value: at compile time
type: TEMPORAL
Source sentences:
text: Here, the compiler knows the value of 'a' at compile time, therefore it also knows that the if condition is always true.