Vampire
05/27/2025, 6:41 PMVampire
05/27/2025, 10:26 PM${expr("matrix.java")}
in that condition instead of matrix.java
which I should have.
As there was an expression syntax in the line line was no longer considered completely an expression but only the explicit expression parts, so it essentially was a long string which was considered truth-y.